Concurrent algorithm

Results: 314



#Item
121Paxos / Consensus / Replication / Read–eval–print loop / Paxi / Reversible addition−fragmentation chain transfer polymerization / Leslie Lamport / Logarithm / State machine replication / Fault-tolerant computer systems / Computing / Concurrent computing

THE RAFT CONSENSUS ALGORITHM DIEGO ONGARO AND JOHN OUSTERHOUT STANFORD UNIVERSITY APRILraftconsensus.github.io

Add to Reading List

Source URL: raftconsensus.github.io

Language: English - Date: 2015-05-02 15:58:08
122Concurrent computing / Linearizability / Non-blocking algorithm / Test-and-set / Lock / Mutual exclusion / Parallel computing / Deadlock / Critical section / Concurrency control / Computing / Concurrency

A Fast Mutual Exclusion Algorithm Leslie Lamport November 14, 1985 revised October 31, 1986 This report appeared in the ACM Transactions on Computer Systems,

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2000-06-26 12:35:19
123Smoothed-particle hydrodynamics / GPGPU / High-performance computing / Computational science / Exascale computing / Molecular dynamics / Supercomputer / Algorithm / Lis / Computing / Concurrent computing / Parallel computing

46 IP1 Joint JSIAM – SIAM Lecture: Climbing Steep Mountains: The Quest to Achieve Affordable, Scalable, Reliable and Energy Efficient Exascale Computing We are embarked on a journey from terascale, through

Add to Reading List

Source URL: www.siam.org

Language: English - Date: 2010-04-21 08:03:05
124Compiler optimizations / Computer architecture / Software pipelining / Operations research / Scheduling / Futures and promises / Algorithm / Pipeline / Very long instruction word / Concurrent computing / Computing / Parallel computing

Resource-Constrained Software Pipelining Alexandru Nicolau Department of Information and Computer Science University of California, Irvine Irvine, CA 92717

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-08-19 20:12:12
125Software engineering / Abstract data types / Concurrent computing / Stack / Non-blocking algorithm / Linearizability / Exponential backoff / ABA problem / Double-ended queue / Computing / Concurrency control / Computer programming

A Scalable Lock-free Stack Algorithm Danny Hendler ∗ Nir Shavit

Add to Reading List

Source URL: www.cs.bgu.ac.il

Language: English - Date: 2005-02-03 08:54:10
126Concurrency control / Computer architecture / Parallel computing / Nvidia / Concurrency / Barrier / Thread / CUDA / Non-blocking algorithm / Computing / Concurrent computing / GPGPU

PDF Document

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2015-04-14 22:22:59
127Concurrent computing / Deadlock / Lock / Monitor / Non-blocking algorithm / Thread / Java Pathfinder / Parallel computing / Concurrency control / Computing / Computer programming

An Effective Dynamic Analysis for Detecting Generalized Deadlocks Pallavi Joshi Mayur Naik

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2011-01-12 18:56:27
128Grid computing / Computer architecture / Job scheduling / Workflow / Cloud computing / Genetic algorithm / Distributed computing / SynfiniWay / SHIWA project / Concurrent computing / Computing / Workflow technology

Cost Minimization Heuristics for Scheduling Workflows on Heterogeneous Distributed Environments Presented by María Alejandra Rodríguez Sossa

Add to Reading List

Source URL: www.cloudbus.org

Language: English - Date: 2012-09-30 21:12:29
129Throughput / Routing / Parallel algorithm / Non-blocking algorithm / Concurrent computing / Network performance / Computing

Globally Adaptive Load-Balanced Routing on Tori Arjun Singh, William J Dally, Brian Towles, and Amit K Gupta Computer Systems Laboratory, Stanford University arjuns, billd, agupta, btowles@cva.stanford.edu Abstract—

Add to Reading List

Source URL: cva.stanford.edu

Language: English - Date: 2005-12-01 13:38:04
130Models of computation / Applied mathematics / Concurrent computing / Parallel computing / Correctness / Finite-state machine / Linearizability / Thread / Algorithm / Computing / Theoretical computer science / Computer science

Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:14:09
UPDATE